1. A Decade of Concurrency Reflections and Perspectives :
المؤلف: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.

2. A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993: proceedings
المؤلف: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
المکتبة: (طهران)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
803


3. Bifurcations in Flow Patterns :
المؤلف: by P.G. Bakker.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematics.,Mechanics.,Physics.
رده :
QA911
.
B974
1991


4. Bifurcations in flow patterns : some applications of the qualitative theory of differential equations in fluid dynamics
المؤلف: Bakker, P G
المکتبة: (طهران)
موضوع: ، Fluid dynamics,، Differential equations -- Numerical solutions,، Bifurcation theory
رده :
QA
911
.
B255
1991


5. Current trends in concurrency :
المؤلف: edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.

6. Current trends in concurrency : overviews and tutorials
المؤلف: edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg
المکتبة: (طهران)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
224


7. Current trends in concurrency : overviews and tutorials
المؤلف: edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
224


8. Foundations of object-oriented languages :
المؤلف: J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Langages à objets (Informatique) -- Congrès.,Langages de programmation -- Congrès.,Object-oriented programming languages -- Congresses.
رده :
QA76
.
64
J834
1991


9. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
المؤلف: J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
489


10. LANDOLT-BORNSTEIN Numerical Data and Functional Relationships in Sciencea nd Technology Group III: Crystal and Solid State Physics Volume 26 : Diffusion in Solid Metals and Alloys
المؤلف: Bakker, H., Bonzel, H.P., Bruff, C.M., Dayananda, M.A., Gust, W., Horvath, J., Kaur, I., Kidson, G.V., LeClaire, A.D., Mehrer, H., Murch, G.E., Neumann, G., Stolica, N., Stolwijk, N.A.
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Diffusion,، Kirkendall effect,، Solid state physics
رده :
QC
176
.
8
.
D5
M45
1990


11. Linear time, branching time, and partial order in logics and models for concurrency :
المؤلف: J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic data processing-- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
5
.
L523
1989


12. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Neherlands May 30-June 3, 1988
المؤلف: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
المکتبة: (طهران)
موضوع: ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
354


13. New Perspectives and Approaches in Plant Growth-Promoting Rhizobacteria Research
المؤلف: edited by P. A. H. M. Bakker, J. M. Raaijmakers, G. Bloemberg, M. Höfte, P. Lemanceau, B. M. Cooke.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Bacteriology.,Life sciences.,Plant diseases.

14. Real-Time:
المؤلف: edited by J.W. Bakker, C. Huizing, W.P. Roever, G. Rozenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.

15. Semantics:
المؤلف: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.

16. Stepwise refinement of distributed systems :
المؤلف: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic data processing-- Distributed processing, Congresses.
رده :
QA76
.
9
.
D5
S75
1990


17. Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop , Mook, The Netherlands, May 29-June 2, 1989 : Proceedings
المؤلف: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
المکتبة: (طهران)
موضوع: Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
430

